Polynomial Extension of Fleck ’ S Congruence 3
نویسندگان
چکیده
Let p be a prime, and let f (x) be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the p-adic order of the sum k≡r (mod p β) n k (−1) k f k − r p α , where α β 0, n p α−1 and r ∈ Z. This polynomial extension of Fleck's congruence has various backgrounds and several consequences such as k≡r (mod p α) n k a k ≡ 0 mod p n−p α−1 ϕ(p α) provided that α > 1 and a ≡ −1 (mod p).
منابع مشابه
Arith . POLYNOMIAL EXTENSION OF FLECK ’ S CONGRUENCE
Let p be a prime, and let f (x) be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the p-adic order of the sum k≡r (mod p β) n k (−1) k f k − r p α , where α β 0, n p α−1 and r ∈ Z. This polynomial extension of Fleck's congruence has various backgrounds and several consequences such as k≡r (mod p α) n k a k ≡ 0 mod p n−p α−1 ϕ(p α) provided that ...
متن کاملPolynomial Time Learning of Some Multiple Context-Free Languages with a Minimally Adequate Teacher
We present an algorithm for the inference of some Multiple Context-Free Grammars from Membership and Equivalence Queries, using the Minimally Adequate Teacher model of Angluin. This is an extension of the congruence based methods for learning some Context-Free Grammars proposed by Clark (ICGI 2010). We define the natural extension of the syntactic congruence to tuples of strings, and demonstrat...
متن کاملPolynomial Extension of Fleck’s Congruence
Let p be a prime, and let f(x) be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the p-adic order of the sum ∑ k≡r (mod pβ) (n k ) (−1)f (⌊ k − r pα ⌋) , where α > β > 0, n > pα−1 and r ∈ Z. This polynomial extension of Fleck’s congruence has various backgrounds and several consequences such as ∑ k≡r (mod pα) (n k ) a ≡ 0 ( mod p ⌊ n−pα−1 φ(pα) ...
متن کاملA Generic Framework for Interprocedural Analyses of Numerical Properties
Relations among program variables like 1 + 3 · x1 + 5 · x2 ≡ 0 [224] have been called linear congruence relations. Such a relation is valid at a program point iff it is satisfied by all reaching program states. Knowledge about non-trivial valid congruence relations is crucial for various aggressive program transformations. It can also form the backbone of a program correctness proof. In his sem...
متن کاملExtensions of Wilson ’ S Lemma and the Ax
Recently R. M. Wilson used Fleck’s congruence and Weisman’s extension to present a useful lemma on polynomials modulo prime powers, and applied this lemma to reprove the Ax-Katz theorem on solutions of congruences modulo p and deduce various results on codewords in p-ary linear codes with weights. In light of the recent generalizations of Fleck’s congruence given by D. Wan, and D. M. Davis and ...
متن کامل